Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
201	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
202	140 Mathematical Sciences Department of Mathematical Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-02 22:17:32 Education Actuary Applied mathematics Calculus Math 55 Areas of mathematics Functional analysis Linear algebra Differential geometry Mathematics education Mathematics Mathematical sciences
203	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
204	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
205	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
206	DIKU Rapport 88/21, OctoberA Blond Primer Olivier Danvy & Karoline Malmkjær DIKU – University of Copenhagen Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2002-06-01 03:25:57 Control flow Lisp programming language Functional languages Knowledge representation Object-oriented programming Reification Lisp Eval Lambda calculus Software engineering Computing Computer programming
207	OCC Programming Joachim Breitner Prelude Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Subroutines Functional programming Scripting languages Lambda calculus Data types Python Variable Apply Parameter Software engineering Computer programming Computing
208	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
209	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
210	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing

UPDATE